u, v, w:. ((u  v))  ((v  w))  ((u  w)) 

latex

Up	bool 1, bool 1
Definitions	ff, t  T, True, if b then t else f fi , tt, b, P  Q, False,
Lemmas	bool wf, false wf, true wf